Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès = Functional conformance testing towards access control policiesDADEAU, Frédéric; HADDAD, Amal; MOUTET, Thierry et al.TSI. Technique et science informatiques. 2009, Vol 28, Num 4, pp 533-563, issn 0752-4072, 31 p.Article

How symbolic animation can help designing an efficient formal modelBOUQUET, Fabrice; DADEAU, Frédéric; LEGEARD, Bruno et al.Lecture notes in computer science. 2005, pp 96-110, issn 0302-9743, isbn 3-540-29797-9, 1Vol, 15 p.Conference Paper

Safety property driven test generation from JML specificationsBOUQUET, Fabrice; DADEAU, Frédéric; GROSLAMBERT, Julien et al.Lecture notes in computer science. 2006, pp 225-239, issn 0302-9743, isbn 978-3-540-49699-1, 1Vol, 15 p.Conference Paper

Scenario-based testing from UML/OCL behavioral models Application to POSIX complianceCASTILLOS, Kalou Cabrera; DADEAU, Frédéric; JULLIAND, Jacques et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 5, pp 431-448, issn 1433-2779, 18 p.Article

Instantiation of parameterized data structures for model-based testingBOUQUET, Fabrice; COUCHOT, Jean-Francois; DADEAU, Frédéric et al.Lecture notes in computer science. 2006, pp 94-108, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, 15 p.Conference Paper

Automated boundary test generation from JML specificationsBOUQUET, Fabrice; DADEAU, Frédéric; LEGEARD, Bruno et al.Lecture notes in computer science. 2006, pp 428-443, issn 0302-9743, isbn 3-540-37215-6, 1Vol, 16 p.Conference Paper

JML-testing-tools : A symbolic animator for JML specifications using CLPBOUQUET, Fabrice; DADEAU, Frédéric; LEGEARD, Bruno et al.Lecture notes in computer science. 2005, pp 551-556, issn 0302-9743, isbn 3-540-25333-5, 6 p.Conference Paper

Symbolic animation of JML specificationsBOUQUET, Fabrice; DADEAU, Frédéric; LEGEARD, Bruno et al.Lecture notes in computer science. 2005, pp 75-90, issn 0302-9743, isbn 3-540-27882-6, 16 p.Conference Paper